BRANCH_s32g274ardb2 ?= "SW32G_IPCF_4.6.0_D2205"
BRANCH_s32g399ardb3-avnet ?= "SW32G_IPCF_4.8.0_D2212"